Analysis and synthesis of logics - how to cut and paste reasoning systems
- Författare
- (Walter Carnielli ... et al..)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2008 | Nederländerna, Dordrecht | xvi, 600 sidor. ill. 25 cm. | 978-1-4020-6781-5 |